|
Dexter Campbell Kozen is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A. from Dartmouth College in 1974 and his PhD in computer science from Cornell University in 1977, where he was advised by Juris Hartmanis. He is a Fellow of the Association for Computing Machinery, a Guggenheim Fellow, and has received a Outstanding Innovation Award from IBM Corporation. He has also been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell. Dexter Kozen was one of the first professors to receive the honor of a professorship at The Radboud Excellence Initiative at Radboud University Nijmegen in the Netherlands He is known for his seminal work at the intersection of logic and complexity. He is one of the fathers of dynamic logic〔David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000.〕 and developed the version of the mu calculus most used today.〔Dexter Kozen (1983). "Results on the Propositional μ-Calculus". Theoretical Computer Science 27 (3): 333–354.〕 Moreover, he has written several textbooks on the theory of computation,〔Dexter Kozen (2006). Theory of Computation. Springer. ISBN 1-84628-297-7.〕 automata theory, dynamic logic, and algorithms. Kozen was also a guitarist, singer, and songwriter in the band "Harmful if Swallowed." He also holds the position of faculty advisor for Cornell's Rugby Football club〔http://www.curfc.com/teamcontacts.php〕 and plays for the Cortland Homer Thundering Herd rugby team. ==References== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dexter Kozen」の詳細全文を読む スポンサード リンク
|